Terminating decimal - German English Dictionary